PET

Benchmark

Model:	haddad-monmege v.1 (DTMC)
Parameter(s)	N = 100, p = 0.7
Property:	target (prob-reach)

Invocation (default)

./fix-syntax ./pet.sh reachability --precision 0.001 --relative-error --only-result -m haddad-monmege.pm -p haddad-monmege.prctl --property target --const N=100,p=0.7

Execution

Walltime:

> 1800s (Timeout)

Log

----------
Computation aborted after 1800.0141727924347 seconds since the total time limit of 1800 seconds was exceeded.